/*
 * Copyright 2023-2024, Haiku, Inc. All rights reserved.
 * Distributed under the terms of the MIT License.
 */
#ifndef KERNEL_BOOT_PLATFORM_EFI_ARCH_LOONGARCH64_DTB_H
#define KERNEL_BOOT_PLATFORM_EFI_ARCH_LOONGARCH64_DTB_H

#include <SupportDefs.h>

void arch_handle_fdt(const void *fdt, int node);
void arch_dtb_set_kernel_args(void);

#endif /* KERNEL_BOOT_PLATFORM_EFI_ARCH_LOONGARCH64_DTB_H */